(0 15 12)(1 16 7)(2 10 8)(3 17 5)(4 14 6)(9 13 11)
ALLOWS (11/8)-SEQUENCE
1: (5 7 17)
(0 15 12)(1 16 7 3 17)(2 10 8)(4 14 6)(5)(9 13 11)
2: (1 16 17)
(0 15 12)(1)(2 10 8)(3 17 7)(4 14 6)(5)(9 13 11)(16)
3: (4 14 6)
(0 15 12)(1)(2 10 8)(3 17 7)(4)(5)(6)(9 13 11)(14)(16)
4: (3 17 7)
(0 15 12)(1)(2 10 8)(3)(4)(5)(6)(7)(9 13 11)(14)(16)(17)